Optimal. Leaf size=723 \[ -\frac{18\ 3^{3/4} \sqrt{2+\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \left (3458 a^{2/3} \sqrt [3]{b} e+935 \left (1-\sqrt{3}\right ) (19 b c-4 a f)\right ) F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1616615 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}-\frac{27 \sqrt [4]{3} \sqrt{2-\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (19 b c-4 a f) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1729 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{54 a^2 \sqrt{a+b x^3} (19 b c-4 a f)}{1729 b^{5/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 a^2 \sqrt{a+b x^3} (7 b d-2 a g)}{105 b^2}+\frac{54 a^2 e x \sqrt{a+b x^3}}{935 b}+\frac{54 a^2 f x^2 \sqrt{a+b x^3}}{1729 b}+\frac{2 a^2 g x^3 \sqrt{a+b x^3}}{105 b}+\frac{2 x \left (a+b x^3\right )^{3/2} \left (33915 c x+29393 d x^2+25935 e x^3+23205 f x^4+20995 g x^5\right )}{440895}+\frac{2 a x \sqrt{a+b x^3} \left (479655 c x+323323 d x^2+233415 e x^3+176715 f x^4+138567 g x^5\right )}{4849845} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 2.35221, antiderivative size = 723, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 8, integrand size = 33, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.242 \[ -\frac{18\ 3^{3/4} \sqrt{2+\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \left (3458 a^{2/3} \sqrt [3]{b} e+935 \left (1-\sqrt{3}\right ) (19 b c-4 a f)\right ) F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1616615 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}-\frac{27 \sqrt [4]{3} \sqrt{2-\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (19 b c-4 a f) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1729 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{54 a^2 \sqrt{a+b x^3} (19 b c-4 a f)}{1729 b^{5/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 a^2 \sqrt{a+b x^3} (7 b d-2 a g)}{105 b^2}+\frac{54 a^2 e x \sqrt{a+b x^3}}{935 b}+\frac{54 a^2 f x^2 \sqrt{a+b x^3}}{1729 b}+\frac{2 a^2 g x^3 \sqrt{a+b x^3}}{105 b}+\frac{2 x \left (a+b x^3\right )^{3/2} \left (33915 c x+29393 d x^2+25935 e x^3+23205 f x^4+20995 g x^5\right )}{440895}+\frac{2 a x \sqrt{a+b x^3} \left (479655 c x+323323 d x^2+233415 e x^3+176715 f x^4+138567 g x^5\right )}{4849845} \]
Antiderivative was successfully verified.
[In] Int[x*(a + b*x^3)^(3/2)*(c + d*x + e*x^2 + f*x^3 + g*x^4),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x*(b*x**3+a)**(3/2)*(g*x**4+f*x**3+e*x**2+d*x+c),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 2.17908, size = 429, normalized size = 0.59 \[ \frac{-54 i 3^{3/4} a^{8/3} b \sqrt{\frac{(-1)^{5/6} \left (\sqrt [3]{-b} x-\sqrt [3]{a}\right )}{\sqrt [3]{a}}} \sqrt{\frac{(-b)^{2/3} x^2}{a^{2/3}}+\frac{\sqrt [3]{-b} x}{\sqrt [3]{a}}+1} \left (3458 a^{2/3} \sqrt [3]{-b} e+3740 a f-17765 b c\right ) F\left (\sin ^{-1}\left (\frac{\sqrt{-\frac{i \sqrt [3]{-b} x}{\sqrt [3]{a}}-(-1)^{5/6}}}{\sqrt [4]{3}}\right )|\sqrt [3]{-1}\right )-151470 (-1)^{2/3} \sqrt [4]{3} a^{8/3} b \sqrt{\frac{(-1)^{5/6} \left (\sqrt [3]{-b} x-\sqrt [3]{a}\right )}{\sqrt [3]{a}}} \sqrt{\frac{(-b)^{2/3} x^2}{a^{2/3}}+\frac{\sqrt [3]{-b} x}{\sqrt [3]{a}}+1} (19 b c-4 a f) E\left (\sin ^{-1}\left (\frac{\sqrt{-\frac{i \sqrt [3]{-b} x}{\sqrt [3]{a}}-(-1)^{5/6}}}{\sqrt [4]{3}}\right )|\sqrt [3]{-1}\right )+2 (-b)^{2/3} \left (a+b x^3\right ) \left (-92378 a^3 g+a^2 b (323323 d+x (140049 e+187 x (405 f+247 g x)))+2 a b^2 x^2 \left (426360 c+x \left (323323 d+x \left (259350 e+215985 f x+184756 g x^2\right )\right )\right )+11 b^3 x^5 \left (33915 c+13 x \left (2261 d+5 x \left (399 e+357 f x+323 g x^2\right )\right )\right )\right )}{4849845 (-b)^{8/3} \sqrt{a+b x^3}} \]
Warning: Unable to verify antiderivative.
[In] Integrate[x*(a + b*x^3)^(3/2)*(c + d*x + e*x^2 + f*x^3 + g*x^4),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.01, size = 1383, normalized size = 1.9 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x*(b*x^3+a)^(3/2)*(g*x^4+f*x^3+e*x^2+d*x+c),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )}{\left (b x^{3} + a\right )}^{\frac{3}{2}} x\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2)*x,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[{\rm integral}\left ({\left (b g x^{8} + b f x^{7} + b e x^{6} +{\left (b d + a g\right )} x^{5} + a e x^{3} +{\left (b c + a f\right )} x^{4} + a d x^{2} + a c x\right )} \sqrt{b x^{3} + a}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2)*x,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 11.3712, size = 525, normalized size = 0.73 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*(b*x**3+a)**(3/2)*(g*x**4+f*x**3+e*x**2+d*x+c),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )}{\left (b x^{3} + a\right )}^{\frac{3}{2}} x\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2)*x,x, algorithm="giac")
[Out]